
\section{Contact Details}

Moussa \textsc{Amrani} (primary contact) is currently a PhD Student at University of Luxembourg, and is part of the \textsc{Lassy} Group (Laboratory of Advanced Software and Systems), led by Prof. Nicolas Guelfi, and the \textsc{Serval} Team of the Interdisciplinary Centre for Security, Reliability and Trust, led by Prof. Yves Le Traon. His current work focuses on semantics and formal analysis of model transformations languages, with a particular interest on Kermeta. During the past years, he also served as a reviewer of several venues related to modeling, model transformations and their analysis (\textsc{Ecm-Fa}; \textsc{MoDeVVa}; \textsc{VaST}; \textsc{Icst}; \textsc{Isarcs}; \textsc{AMT}). He holds a B.Sc and a M.Sc. from Joseph Fourier University (Grenoble, France).


\medskip
Leen \textsc{Lambers} is currently a postdoctoral researcher in the System Analysis and
Modeling group of the Hasso Plattner Institute at the University of Potsdam in
Germany.  Her research concentrates on formal modeling and verification. During
the past three years Leen Lambers mainly worked on the development of new
verification techniques for model transformations based on graph transformation.
In particular, in her Ph.D. thesis she concentrated on the development of static
analysis techniques for graph transformation. Leen Lambers served as program
chair (GT-VMT 2012), program committee member (ICGT 2012, ICMT 2012, ACCAT 2012)
or reviewer for several international journals, workshops  and conferences
related to model transformation, graph transformation, formal modeling and
verification.

\medskip
Eugene \textsc{Syriani} is an Assistant Professor in the Department of Computer Science at the University of Alabama.
His current research interests are model transformation, model-driven engineering methodology, simulation-based design, and code generation for mobile technologies.
Eugene has organized several international workshops/conferences such as Multi-Paradigm Modeling (MPM'11-12), Model Evolution (ME'11), Verification of Model Transformation (VOLT'11), and Model-Driven Languages and Systems (MoDELS'13).
He also served on the program committee of several conferences (AGTIVE, ECMFA, GraBaTs, ICMT, MoDELS, MPM) and is a reviewer for the international
journal in modeling and simulation (SoSym, Transactions on Simulation).
Eugene received a Ph.D. in Computer Science in 2011 and a B.Sc. in Mathematics and Computer Science in 2006, both at McGill University.
He was also a post-doctoral research fellow at McGill University working on the NECSIS project on the foundations of model transformations.
Eugene has also worked in several service-oriented software companies as a software engineer in Montreal, Canada for a decade spanning the health, pharmaceutical, airspace, advertisement and governmental domains.
